<?

session_save_path('_sesiones');
session_start();

require('include/entorno.php');
require('include/mysql.php');
require('include/libreria.php.php');
require('include/libreria.html.php');

if (!isset($_SESSION['usuario_id']) and !es_script('ingresar.php'))
{
	$_SESSION['redirigir_url'] = URL_ACTUAL;
	header('Location: ingresar.php');
	exit();
}

if (es_script('sesion.php'))
{
	header('Location: index.php');
	exit();
}

?>